Lehen mailako logika, predikatuen logika, logika kuantifikatzailea edo predikatuen kalkulua ere deitzen dena, lehen ordenako hizkuntzen inferentzia aztertzeko diseinatutako sistema formala da.[1][2] Predikatuak, haien propietateak eta eragiketak aztertzen dituen logika. Aldagai eta kuantifikatzaileen bidez lan egiten du. Predikatuen logikak proposizioen barne-egitura hartzen du kontuan.[3] Lehen ordenako lengoaiak, era berean, banakako aldagaiei bakarrik eragiten dien zenbatzaileak dituzten lengoaia formalak dira, eta argumentuak, konstanteak edo aldagai indibidualak dituzten predikatuak eta funtzioak baino ez dira.[1]
Lehen ordenako logikak, logika proposizionala baino adierazkortasun-maila altuagoa du.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search